38 research outputs found
Existence and uniqueness of solutions for nonlocal p-Laplacian problems
We study the existence and uniqueness of positive solutions to a class of nonlocal boundary-value problems involving the p-Laplacian. Our main tools are a variant of the Schaefer's fixed point theorem, an inequality which suitably handles the p-Laplacian operator, and a Sobolev embedding which is applicable to the bounded domain
Semantics of query-driven communication of exact values
We address the question of how to communicate among distributed processes valuessuch as real numbers, continuous functions and geometrical solids with arbitrary precision, yet efficiently. We extend the established concept of lazy communication using streams of approximants by introducing explicit queries. We formalise this approach using protocols of a query-answer nature. Such protocols enable processes to provide valid approximations with certain accuracy and focusing on certain locality as demanded by the receiving processes through queries. A lattice-theoretic denotational semantics of channel and process behaviour is developed. Thequery space is modelled as a continuous lattice in which the top element denotes the query demanding all the information, whereas other elements denote queries demanding partial and/or local information. Answers are interpreted as elements of lattices constructed over suitable domains of approximations to the exact objects. An unanswered query is treated as an error anddenoted using the top element. The major novel characteristic of our semantic model is that it reflects the dependency of answerson queries. This enables the definition and analysis of an appropriate concept of convergence rate, by assigning an effort indicator to each query and a measure of information content to eachanswer. Thus we capture not only what function a process computes, but also how a process transforms the convergence rates from its inputs to its outputs. In future work these indicatorscan be used to capture further computational complexity measures. A robust prototype implementation of our model is available
On the Kolmogorov complexity of continuous real functions
Kolmogorov complexity was originally defined for finitely-representable objects. Later, the definition was extended to real numbers based on the asymptotic behaviour of the sequence of the Kolmogorov complexities of the finitely-representable objects-such as rational numbers-used to approximate them.This idea will be taken further here by extending the definition to continuous functions over real numbers, based on the fact that every continuous real function can be represented as the limit of a sequence of finitely-representable enclosures, such as polynomials with rational coefficients.Based on this definition, we will prove that for any growth rate imaginable, there are real functions whose Kolmogorov complexities have higher growth rates. In fact, using the concept of prevalence, we will prove that 'almost every' continuous real function has such a high-growth Kolmogorov complexity. An asymptotic bound on the Kolmogorov complexities of total single-valued computable real functions will be presented as well
Compositional semantics of dataflow networks with query-driven communication of exact values
We develop and study the concept of dataflow process networks as used for exampleby Kahn to suit exact computation over data types related to real numbers, such as continuous functions and geometrical solids. Furthermore, we consider communicating these exact objectsamong processes using protocols of a query-answer nature as introduced in our earlier work. This enables processes to provide valid approximations with certain accuracy and focusing on certainlocality as demanded by the receiving processes through queries. We define domain-theoretical denotational semantics of our networks in two ways: (1) directly, i. e. by viewing the whole network as a composite process and applying the process semantics introduced in our earlier work; and (2) compositionally, i. e. by a fixed-point construction similarto that used by Kahn from the denotational semantics of individual processes in the network. The direct semantics closely corresponds to the operational semantics of the network (i. e. it iscorrect) but very difficult to study for concrete networks. The compositional semantics enablescompositional analysis of concrete networks, assuming it is correct. We prove that the compositional semantics is a safe approximation of the direct semantics. Wealso provide a method that can be used in many cases to establish that the two semantics fully coincide, i. e. safety is not achieved through inactivity or meaningless answers. The results are extended to cover recursively-defined infinite networks as well as nested finitenetworks. A robust prototype implementation of our model is available
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Generalized metric spaces are obtained by weakening the requirements (e.g.,
symmetry) on the distance function and by allowing it to take values in
structures (e.g., quantales) that are more general than the set of non-negative
real numbers. Quantale-valued metric spaces have gained prominence due to their
use in quantitative reasoning on programs/systems, and for defining various
notions of behavioral metrics.
We investigate imprecision and robustness in the framework of quantale-valued
metric spaces, when the quantale is continuous. In particular, we study the
relation between the robust topology, which captures robustness of analyses,
and the Hausdorff-Smyth hemi-metric. To this end, we define a preorder-enriched
monad , called the Hausdorff-Smyth monad, and when is a
continuous quantale and is a -metric space, we relate the topology
induced by the metric on with the robust topology on the
powerset defined in terms of the metric on .Comment: 19 pages, 1 figur
Recursive Solution of Initial Value Problems with Temporal Discretization
We construct a continuous domain for temporal discretization of differential
equations. By using this domain, and the domain of Lipschitz maps, we formulate
a generalization of the Euler operator, which exhibits second-order
convergence. We prove computability of the operator within the framework of
effectively given domains. The operator only requires the vector field of the
differential equation to be Lipschitz continuous, in contrast to the related
operators in the literature which require the vector field to be at least
continuously differentiable. Within the same framework, we also analyze
temporal discretization and computability of another variant of the Euler
operator formulated according to Runge-Kutta theory. We prove that, compared
with this variant, the second-order operator that we formulate directly, not
only imposes weaker assumptions on the vector field, but also exhibits superior
convergence rate. We implement the first-order, second-order, and Runge-Kutta
Euler operators using arbitrary-precision interval arithmetic, and report on
some experiments. The experiments confirm our theoretical results. In
particular, we observe the superior convergence rate of our second-order
operator compared with the Runge-Kutta Euler and the common (first-order) Euler
operators.Comment: 50 pages, 6 figure
Absolute continuity in partial differential equations
In this note we study a function which frequently appears in partial differential equations. We prove that this function is absolutely continuous, hence it can be written as a definite integral. As a result we obtain some estimates regarding solutions of the Hamilton-Jacobi systems
Some results on radial symmetry in partial differential equations
In this paper we will discuss three different problems which share the same conclusions. In the first one we revisit the well known Faber-Krahn inequality for the principal eigenvalue of the p-Laplace operator with zero homogeneous Dirichlet boundary conditions. Motivated by Chatelain, Choulli, and Henrot, 1996, we show in case the equality holds in the Faber-Krahn inequality, the domain of interest must be a ball. In the second problem we consider a generalization of the well known torsion problem and accordingly define a quantity that we name the p-torsional rigidity of the domain of interest. We maximize this quantity relative to a set of domains having the same volume, and prove that the optimal domain is a ball. The last problem is very similar in spirit to the second one. We consider a Hamilton-Jacobi boundary value problem, and define a quantity to be maximized relative to a set of domains having fixed volume. Again, we prove that the optimal domain is a ball. The main tools in our analysis are the method of domain derivatives, an appropriate generalized version of the Pohozaev identity, and the classical symmetrization techniques
Absolute continuity in partial differential equations
In this note we study a function which frequently appears in partial differential equations. We prove that this function is absolutely continuous, hence it can be written as a definite integral. As a result we obtain some estimates regarding solutions of the Hamilton-Jacobi systems